Research on life cycle model of distributed concurrent software 分布式并发软件生命周期模型研究
Reachability testing is a valid method for concurrent software testing 可达性测试是并发软件测试中的一种有效方法。
The nondeterministic behavior of concurrent software , make the results of running and testing uncertain , so they are difficult to specify , design , code , debug and test 由于并发软件的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。